Programming Language Implementation and Logic Programming
Lecture notes in computer science · 1994
Cited by 10
Read the abstract, see who wrote it and who cites it, and get the citation in APA, MLA, Chicago or Harvard.
About 10,000 papers for “Programming language implementation”
Lecture notes in computer science · 1994
Cited by 10
Małuszyński, Jan, PLILP 1991 Passau · Lecture notes in computer science · 1991
Cited by 11
Torben Ægidius Mogensen · Texts in computer science · 2025
Cited by 0Open access
Torben Ægidius Mogensen · Texts in computer science · 2022
Cited by 79
Peter Sestoft · Lecture notes in computer science · 2018
Cited by 2Open access
Antonio Salvadori, Christine Dumont · ACM SIGPLAN Notices · 1979
In this short correspondence, attention is drawn to the inconsistency in the present implementation of Boolean expressions. A solution is suggested that would generate more meaningful and optimised code.
Cited by 4
Computer Languages · 1988
Cited by 57
Lecture notes in computer science · 1993
Cited by 1
Martina-Magdalena Jukić · Repository of FERIT Osijek · 2023
U ovom diplomskom radu opisana je povijest i razvoj kripto valuta te tehnologija koje se koriste pri razvoju (blockchain, metode konsenzusa, digitalni novčanik). Tehnologije su konkretno opisane na primjeru Bitcoin-a na osnovu kojega je i razvijena vlastita kripto valuta u programskom jeziku C++. Za razvoj vlastite kripto valute bilo je potrebno generirati novi genesis blok (prvi blok u blockhain-u) pomoću GenesisH0 alata te je promijenjena i težina generiranja novog bloka. Nakon uspješnog generiranja genesis bloka i pokretanja blockchain-a, promijenjen je hashing algoritam iz SHA-256 u NeoScrypt. Pokrenuto je rudarenje gdje je potvrđeno kako je za rudarenje bloka potrebno oko dvije i pol minute i kako jedan blok zauzima oko 500 kB memorije. Uspoređene su performanse SHA-256 i NeoScrypt algoritma čime su teorijske podloge povezane s konkretnim primjerima.
Cited by 0Open access
Rudolph E. Schild · Lecture notes in economics and mathematical systems · 1972
Cited by 1
Stephan Diehl, Pieter Hartel, Peter Sestoft · Future Generation Computer Systems · 2000
Cited by 65Open access
Jingling Xue · ACM SIGPLAN Notices · 2013
No abstract available.
Cited by 0
Paterson, Norman R. · St Andrews Research Repository (St Andrews Research Repository) · 1994
Cited by 0Open access
Barbara Liskov, Lindsay Smith · CERN Document Server (European Organization for Nuclear Research) · 1972
The document describes SPIL, a Systems Programming Implementation Language. SPIL is a structured programming language designed as an aid to the development of highly reliable software systems. (Author)
Cited by 2Open access
Jingling Xue · 2013
No abstract available.
Cited by 0
2008
Cited by 0
Jingling Xue · 2012
No abstract available.
Cited by 0
Association for Computing Machinery
Cited by 0
Zehra Sura Chi-Leung, Wong£xing Fangýjaejin Leeýsamuel, P. Midkiffþdavid Padua · 2008
Concurrent threads of execution running on a shared memory system can access the same memory locations. A consistency model defines constraints on the order of these shared memory accesses. For good run-time performance, these constraints must be as few as possible. Programmers who write explicitly parallel programs must take into account the consistency model when reasoning about the behavior of their programs. Also, the consistency model constrains compiler transformations that reorder code. It is not known what consistency models best suit the needs of the programmer, the compiler, and the hardware simultaneously. We are building a compiler infrastructure to study the effect of consistency models on code optimization and run-time performance. The consistency model presented to the user will be a programmable feature independent of the hardware consistency model. The compiler will be used to mask the hardware consistency model from the user by mapping the software consistency model onto the hardware consistency model. When completed, our compiler will be used to prototype consistency models and to measure the relative performance of different consistency models. We present preliminary experimental data for performance of a software implementation of sequential consistency using manual inter-thread analysis.
Cited by 0
Aybars UĞUR, Mustafa TÜRKSEVER · DergiPark (Istanbul University) · 2002
In this paper realism in computer graphics and components providing realism are discussed at first. It is mentioned about illumination models, surface rendering methods and light sources for this aim. After that, ray tracing which is a technique for creating two dimensional image of a three-dimensional virtual environment is explained briefly. A simple ray tracing algorithm was given. "SahneIzle" which is a ray tracing program implemented in Java programming language which can be used on the internet is introduced. As a result, importance of network-centric ray tracing software is discussed.
Cited by 0Open access